781. Special issue of the International Multiconference of Engineers and Computer Scientists 2012
پدیدآورنده : Gi-Chul Yang [and others], editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering -- Congresses.,Engineering -- Congresses.,Software engineering -- Congresses.
رده :
TA5
.
G534
2013
782. Stabilization, safety, and security of distributed systems :
پدیدآورنده : Xavier Défago, Franck Petit, Vincent Villainches
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses,Electronic data processing-- Distributed processing-- Safety measures, Congresses,Self-stabilization (Computer science), Congresses
رده :
QA76
.
9
.
S54
S67
2011
783. Static Analysis
پدیدآورنده : \ Sandrine Blazy , Thomas Jensen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer programming -- Congresses.,Software engineering -- Congresses.,Computer programming.,برنامه‌نویسی -- کنگره‌ها,نرم‌افزار -- مهندسی-- کنگره‌ها ,برنامه‌نویسی
رده :
QA
76
.
6
.
S7
2015
E-Book
,
784. Static analysis :
پدیدآورنده : Antoine Miné, David Schmidt (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
6
.
I5733
2012eb
785. Static analysis
پدیدآورنده : Francesco Logozzo, Manuel Fähndrich (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming, Congresses,Software engineering, Congresses
رده :
QA76
.
6
.
I58
2013
786. Static analysis
پدیدآورنده : Jens Palsberg, Zhendong Su (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
.
I5733
2009
787. Static analysis :
پدیدآورنده : Eran Yahav (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
788. Studies of software design : ICSE '93 Workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers
پدیدآورنده : David Alex Lamb, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1078
789. Subject-oriented business process management :
پدیدآورنده : Albert Fleischmann [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Business-- Data processing, Congresses,Computer network architectures, Congresses,Management information systems, Congresses,Software engineering, Congresses
رده :
T58
.
6
.
S37
2011
790. Supercomputing :
پدیدآورنده : J. Kondō, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Grands ordinateurs -- Congrès.,Supercomputers -- Congresses.,Supercomputers.
رده :
QA76
.
88
J566
1991
791. Supercomputing frontiers :
پدیدآورنده : Rio Yokota, Weigang Wu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Supercomputers, Congresses.,Supercomputers.
رده :
QA76
.
88
792. System analysis and modeling:
پدیدآورنده : Oeystein Haugen, Rick Reed, Reinhard Gotzhein (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Communication Networks -- Congresses.,Computer science -- Congresses.,Information systems -- Congresses.
793. System analysis and modeling :
پدیدآورنده : Ferhat Khendek, Reinhard Gotzhein (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : System analysis, Congresses.,Business & Economics-- Information Management.,Computer hardware.,Computer networking & communications.,Computers-- Hardware-- General.,Computers-- Software Development & Engineering-- General.,Information architecture.,Software Engineering.,System analysis.
رده :
QA402
.
S26
2018
794. System specification and design languages
پدیدآورنده : / Tom J. Kaazmierski, Adam Morawiec, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer hardware description languages--Congresses,Integrated circuits--Very large scale integration--Design and construction--Congresses,Formal methods (Computer science)--Congresses,Software engineering--Congresses,Computer software--Verification--Congresses,Software architecture--Congresses
رده :
TK7885
.
7
.
F35
2012
795. System specification and design languages
پدیدآورنده : Tom J. Kaźmierski, Adam Morawiec, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses
رده :
TK7885
.
7
.
F35
2010eb
796. Systems, Software and Services process Improvement.
پدیدآورنده : \ Rory V. O’Connor...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering.,Computer software -- Development -- Congresses.,Computer software -- Quality control -- Congresses,مهندسی نرم افزار ,نرم‌افزار -- تولید -- کنگره ها ,نرم افزار -- ک‍ن‍ت‍رل ک‍ی‍ف‍ی‍ت -- کنگره ها
رده :
QA
76
.
76
.
S968
2015
E-Book
,
797. TAPSOFT'93 : Theory and practice of software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993: proceedings
پدیدآورنده : M.C. Gaudel, J.P. Jouannaud )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
668
798. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
پدیدآورنده : edited by Harmut Ehrig...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
249-250
799. TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987. v.1.: Advanced seminar on foundations of innovative software development 1 and collquium on trees in algebra and programming )CAAP '87(
پدیدآورنده : Edited by Hartmut Ehrig...]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Computer software - Development,Congresses ، Software engineering,Data processing - Congresses ، Trees )Graph theory(
رده :
QA
76
.
L4
v
.
249
800. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989
پدیدآورنده : J. Diaz, F. Orejas )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
351-352
